문서의 임의 삭제는 제재 대상으로, 문서를 삭제하려면 삭제 토론을 진행해야 합니다. 문서 보기문서 삭제토론 명제 논리 (문단 편집) === 조건 도입 === > [math({\to}{\rm I}:P\Rightarrow Q\vdash P\to Q)] {{{+1 Conditional Proof}}} [math({\rm CP})]라고도 한다. 주어진 전제로부터 어떤 명제를 도출할 수 있다면, 전제 [math(P)]를 전건(antecedent)으로, 도출된 명제 [math(Q)]를 후건(consequent)으로 갖는 조건문이 증명가능하다. 유사 사례: 어떤 문장이 앞서서 나타난다면, 그 문장을 후건으로 갖는 조건문을 쓸 수 있다. 이것은 1차 술어논리의 추론 규칙으로 활용된다.저장 버튼을 클릭하면 당신이 기여한 내용을 CC-BY-NC-SA 2.0 KR으로 배포하고,기여한 문서에 대한 하이퍼링크나 URL을 이용하여 저작자 표시를 하는 것으로 충분하다는 데 동의하는 것입니다.이 동의는 철회할 수 없습니다.캡챠저장미리보기